note
	description : "random application root class"
	date        : "$Date$"
	revision    : "$Revision$"

class
	APPLICATION

inherit
	ARGUMENTS

create
	make

feature {NONE} -- Initialization

	make
			-- Run application.
			local
				r: RANDOM
				i: INTEGER
		do
			create r.set_seed (100)
			r.start
			from i:=0
			until i > (15)
			loop
				io.put_integer (i)
				io.put_string (" : ")
				io.put_integer (r.item)
				io.put_string ("%N")
				r.forth
				i := i+1
			end
		end
end
